Classes of Algorithms: Formalization and Comparison

نویسندگان

  • Serge Grigorieff
  • Pierre Valarcher
چکیده

2 Computation models as simple classes of ASMs 3 2.1 The problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Relaxing the time unit . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 ASMs in a nutshell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.4 Intrinsic ASM characterization of computation models . . . . . . . . . 6 2.5 Slight background modification, big consequences . . . . . . . . . . . . 7 2.6 ASM reserve and types with Cartesian product ranges . . . . . . . . . 8

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalizing classes of information fusion systems

This paper provides an outline of a formalization of classes of information fusion systems in terms of category theory and formal languages. The formalization captures both the inputs/outputs of a fusion system and the fusion processing algorithms. The paper also introduces a notion of subclass, which is used to compare classes of fusion systems, whether they are different or one is a special c...

متن کامل

Comparison of Machine Learning Algorithms for Broad Leaf Species Classification Using UAV-RGB Images

Abstract: Knowing the tree species combination of forests provides valuable information for studying the forest’s economic value, fire risk assessment, biodiversity monitoring, and wildlife habitat improvement. Fieldwork is often time-consuming and labor-required, free satellite data are available in coarse resolution and the use of manned aircraft is relatively costly. Recently, unmanned aeria...

متن کامل

Comparison of Performance in Image Classification Algorithms of Satellite in Detection of Sarakhs Sandy zones

Extended abstract 1- Introduction Wind erosion as an “environmental threat” has caused serious problems in the world. Identifying and evaluating areas affected by wind erosion can be an important tool for managers and planners in the sustainable development of different areas.  nowadays there are various methods in the world for zoning lands affected by wind erosion. One of the most important...

متن کامل

Hyperspectral Image Classification Based on the Fusion of the Features Generated by Sparse Representation Methods, Linear and Non-linear Transformations

The ability of recording the high resolution spectral signature of earth surface would be the most important feature of hyperspectral sensors. On the other hand, classification of hyperspectral imagery is known as one of the methods to extracting information from these remote sensing data sources. Despite the high potential of hyperspectral images in the information content point of view, there...

متن کامل

Change Detection Gamasiab River Margins in Kermanshah by Comparison Pixel Base and Object Orientd Algorithms

Introduction Land use reflects the interactive characteristics of humans and the environment and describes how human exploitation works for one or more targets on the ground. Land use is usually defined on the basis of human use of the land, with an emphasis on the functional role of land in economic activities. Land use, which is associated with human activity, is undergoing change over time....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Bulletin of the EATCS

دوره 107  شماره 

صفحات  -

تاریخ انتشار 2012